process algebra 예문
예문
- 예문 더보기: 1 2 3 4 5 6
- As with most process algebras, PEPA is a parsimonious language.
- Hidden algebra generalizes process algebra and transition system approaches.
- Currently, in TAPAs, is considered two process algebras : CCSP and PEPA.
- Processes and process systems are composed by using the operators of a given process algebra.
- The language extends classical process algebras such as CSP by introducing probabilistic branching and timing of transitions.